Computational Theories { a First Attempt
نویسنده
چکیده
In this note we report on some shortcomings in the current theory structures of the mega database. With the present approach of statically deening axioms and signatures inside theories the usefulness of the database for concrete computations will be very limited. We give examples to point out the particular problems and present the rst ideas of a way to overcome them.
منابع مشابه
Applications of higher order shear deformation theories on stress distribution in a five layer sandwich plate
In this paper, layerwise theory (LT) along with the first, second and third-order shear deformation theories (FSDT, SSDT and TSDT) are used to determine the stress distribution in a simply supported square sandwich plate subjected to a uniformly distributed load. Two functionally graded (FG) face sheets encapsulate an elastomeric core while two epoxy adhesive layers adhere the core to the face ...
متن کاملConsciousness: mapping the theoretical landscape.
What makes us conscious? Many theories that attempt to answer this question have appeared recently in the context of widespread interest about consciousness in the cognitive neurosciences. Most of these proposals are formulated in terms of the information processing conducted by the brain. In this overview, we survey and contrast these models. We first delineate several notions of consciousness...
متن کاملApplying computational theories of cognitive mapping to mobile robots*
Artificial intelligence researchers have produced many computational theories of cognitive mapping. However, few of their ideas have been adapted to mobile robots. This paper outlines a new computational theory of cognitive mapping and then describes an attempt to implement the main properties of the theory on an actual mobile robot. Naturally, the theory needs to be modified to accommodate the...
متن کاملBook Reviews: Computational Linguistics and Formal Semantics
This is a collection of excellent papers from a workshop, chaired by the editors, held in Lugano at IDSIA, an institute of the Dalle Molle Foundation. I believe the workshop was held in September 1988, but the book is not explicit. The "formal semantics" (FS) of the title refers to the theories of NL meaning derived from model theory and in standard use in theoretical linguistics. The title (an...
متن کاملAfter Linguistics - based MT
The 80s can be characterized as the era of Linguistics-based MT (LBMT) and of its failure in the history of MT, in which (computational) linguists have initiated the first serious attempt at constructing scientific or computational theories of MT. Partly because of a large discrepancy between scientific interests and engineering practices, this work has little influence on the performance of co...
متن کامل